Journal of Algebraic Hyperstructures and Logical Algebras
Volume:3 Issue: 2, Spring 2022

In the area of fuzzy logic, expansions of these logics by $Delta$ operator have been intensively studied; the interest of $Delta$ operator is due to the fact that it presents a fuzzy behavior, the associated systems were studied in propositional and first-order level.  On the other hand, the possibility operators that define Łukasiewicz-Moisil algebras have been studied over different classes of algebras; these operators are known as Moisil's operators in the literature. One of these operators coincides with $Delta$, showing there are other operators with fuzzy behavior.   In this paper, we present the study of Moisil's operators over an extension of a fuzzy logic; namely, n-valued Gödel logic, thus opening the possibility to explore more fuzzy operators.

In this paper we recall our concepts of n th-Power Set of a Set, SuperHyperOperation, SuperHyperAxiom, SuperHyperAlgebra, and their corresponding Neutrosophic SuperHyperOperation, Neutrosophic SuperHyperAxiom and Neutrosophic SuperHyperAlgebra. In general, in any field of knowledge, one actually encounters SuperHyperStructures (or more accurately (m, n)- SuperHyperStructures).

Double Boolean algebras (dBas) are algebraic structures D = (D, ⊓, ⊔, , y, ⊥, ⊤) of type (2, 2, 1, 1, 0, 0), introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts. Our goal is an algebraic investigation of dBas, based on similar results on Boolean algebras. In this paper, first we characterize filters on dBas as deductive systems and we give many characterization of primary filters(ideals). Second, for a given dBa, we show that the set of its filters F(D) (resp. ideals I(D)) is endowed with the structure of distributive pseudo-complemented lattices, Heyting algebras and residuated lattices. We finish by introducing the notions of annihilators and co-annihilators on dBas and investigate some relalted properties of them. We show that pseudo-complement of an ideal I (filter F) is the annihilator I ∗ of I ( co-annihilator F ∗ ) and the set of annihilators (co-annihilators) forms a Boolean algebra.

In BCK-algebras, the notion of Lukasiewicz fuzzy positive implicative ideal is introduced, and several properties are investigated. The relationship between Lukasiewicz fuzzy ideal and Lukasiewicz fuzzy positive implicative ideal is discussed, and characterizations of a Lukasiewicz fuzzy positive implicative ideal are considered. Conditions for a Lukasiewicz fuzzy ideal to be a Lukasiewicz fuzzy positive implicative ideal are provided, and conditions for the ∈-set, q-set and O-set to be positive implicative ideals are explored.

The aim of this paper is to study of properties of subhypergroups of a cyclic hypergroup. It has been examined whether the theorems existing in cyclic groups exist in cyclic hypergroups. A characterization has been investigated to subhypergroups of a cyclic hypergroup be cyclic.

The notion of a positive implicative equality algebras are defined, and related properties are studied. Characterizations of a positive implicative equality algebra is investigated. Conditions for an equality algebra to be positive implicative are provided. Equality algebra with some types is considered, and several properties are investigated. Using equality algebra with some types, we characterize a commutative equality algebra and a positive implicative algebra.

In this paper, we introduce nilpotent soft (sub)polygroups. In addition, nilpotency of intersection, extended intersection, restricted union of two nilpotent soft polygroups are studied. Espesialy, a necessary and suficient condition between nilpotency of a polygroup and soft polygroups is obtained. Finally, we define two new soft polygroups (Sα)A∪{c} and (Qα)_A derived from a soft polygroup α_A and study on nilpotency of these structures. Also, we extend a soft homomorphism of groups to polygroups. This helps us to extend some properties of groups to polygroups.